proof of program correctness
un. 程序正确性证明
[网络] 程式正确性证明
热门查询
- MPS abbr. 微处理系统（Microprocessor System）
- mx n. 不愿具体说明自己性别的人士使用的称谓
- unintentionally adv. 无意地；非故意地；非存心地
- corpulent adj. 肥胖的
- blinking n. 闪烁；瞬目 adj. 眨眼的；闪光的；可恶的；十足的；一眨眼的 v. 眨眼睛；闪闪发光；对…视而不见（blink的ing形式） adv. 非常；十足
- cilia n. 纤毛；睫毛 n. (Cilia)人名；(葡)西利亚；(意)奇利亚
- flawless adj. 完美的；无瑕疵的；无裂缝的
- corridor 走廊
- remastered v. （根据旧唱片或磁带的）重新灌录( remaster的过去式和过去分词 )
- sluice n. 水闸；蓄水；洗矿槽 vt. 冲洗；开闸放水 vi. 奔流
- ericsson n. 爱立信公司
- overstuffed adj. 垫得又软又厚的；冗长的；多油的 v. 装填过度；涂油过多（overstuff的过去分词）
- tonnage n. 吨位，载重量；船舶总吨数，排水量
- deposition n. 沉积物；矿床；革职；[律]（在法庭上的）宣誓作证，证词
- venerable adj. 庄严的，值得尊敬的；珍贵的
- marathon n. 马拉松赛跑；耐力的考验 adj. 马拉松式的；有耐力的 vi. 参加马拉松赛跑
- sensory adj. 感觉的；知觉的；传递感觉的
- tresses n. 女子的长发；长而未束的女人头发（tress的复数形式） v. 把（头发）梳理成绺（tress的第三人称单数形式）
- consecutive adj. 连贯的；连续不断的
- gaoler n. 监狱看守；监狱长
考试词汇表
- compensated value date
- compensated variometer
- compensated viscometer
- compensating UNBALANCE
- compensating air valve
- compensating amplifier
- compensating capacitor
- compensating cariation
- compensating condenser
- compensating conductor
- compensating curvature
- compensating developer
- compensating diaphragm
- compensating emphysema
- compensating equipment
- compensating eyepieces
- compensating impedance
- compensating lead wire
- compensating mechanism
- compensating mechasism
